基于Bayes理论的装备维修性验证方法

针对装甲装备关键部件维修性验证中出现的小子样问题,提出了基于Bayes理论的小子样维修性验证,重点针对对数正态分布下维修性指标验证的验后似然比验证方法进行了深入研究。通过对装甲装备某关键部件的试验数据的实例分析,验证了该方法在减少样本容量及试验费用方面的有效性和合理性。     

任务空间概念模型VV&A研究

任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少。因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。概要介绍了任务空间概念模型建模,并且提出了从专家法、静态校核机制、概念执行机制三个角度来考察模型质量的思路。     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

静电放电模拟器电流波形校验装置研究

研制了符合国际电工委员会IEC61000－4－2标准的ESD模拟器电流校验系统。该系统能自动采集ESD电流波形,计算上升时间、峰值电流、30ns时电流。60ns时电流等参数。该系统已用于我国静电计量测试站对静电放电电流波形的校验工作。     

使用平均周期进行指纹分类

提出了一种基于指纹平均周期的分类方法,通过计算指纹的平均周期并按照平均周期将数据库中的指纹进行排序,该方法可有效地提高指纹的搜索速度。若将基于指纹周期的分类算法和现有的指纹分类算法结合起来,则可进一步提高指纹搜索效率。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

球类比赛对大学生球迷竞争意识的积极影响

通过各类球赛对大学生球迷竞争意识的积极影响研究与分析,球赛对不同大学生球迷的影响具差异性。大学生球迷对竞争意识认识不足,争取优胜的信念还有待提高,对外界事物的判断、认识不够准确,参与社会活动内容贫乏,形式单一,选择性少。随着年龄和学龄的增长,在生活与实践中的竞争意识得到进一步强化。球赛本身激烈性和内容丰富性的特点,可以有效地激发和培养大学生球迷的竞争意识,同时也强化了大学生球迷的竞争意识。     

装备全寿命过程保障性验证技术总体构想

从分析我军装备保障性验证工作当前存在的问题入手,构建了全寿命过程的装备保障性验证技术总体研究框架,确定了主要研究内容,并提供了研究方案,探讨了关键技术的突破要点,为有针对性地、有步骤、系统地开展装备保障性验证技术研究奠定了基础．     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.     

Meeting the growing safeguards burden

ABSTRACT

The International Atomic Energy Agency (IAEA) faces challenges in fulfilling its safeguards mandate as a result of an expanding safeguards burden and a relatively static budget. This dilemma has been exacerbated by the additional burdens of implementing the Joint Comprehensive Plan of Action (JCPOA) in Iran, but would not go away if implementation of the JCPOA were to end. There are three main areas of opportunity for the Agency: (1) budgetary expansion tied to changes in staffing policies, (2) changes in safeguards approaches, and (3) technological innovation. Barriers and limitations are associated with each approach, and advancing any of them will face a difficult political environment in Vienna.